many-valued logic

Max Weber ; comparative legal sociology ; Chinese legal tradition ; many-valued logic .

韦伯；比较法律社会学；中国法律传统；多值逻辑。

Therefore , the paper observes and studies Lukasiewicz 's many-valued logic theory firstly and mainly .

因此，本文首先并主要考察的是卢卡西维茨的多值逻辑理论。

A Boolean Pruning Method for Improving Tableau Reasoning Efficiency in First-Order Many-Valued Logic

提高一阶多值逻辑Tableau推理效率的布尔剪枝方法

The problem of α - triple I are given in many-valued logic system Wn .

在多值逻辑系统Wn中提出了琢-三I问题。

The algorithm is simple and suitable for2-valued and many-valued logic .

本算法比较简单，适用于二值逻辑和多值逻辑。

On the other hand , IP can not change more complex with n value is increased in many-valued logic .

另外在多值逻辑中，随着n值的增加，IP问题不会变得更加复杂。

As many-valued logic : probability logic .

作为多值逻辑的概率逻辑；

Lukasiewicz 's Many-valued Logic and Comparisons between It and Some Logics

卢卡西维茨多值逻辑及其与一些逻辑的比较

A class of maximal closed sets in the set of the unary many-valued logic functions : The maximality of the linear permutation group in the symmetric group

一元多值逻辑函数集中的一类极大封闭集&线性置换群在对称群中的极大性

Lukasiewicz , as we know , was praised the father of many-valued logic , because it was he who firstly utilized means of modern logic to study many-valued logic and developed his many-valued logic theory systematically .

我们知道，卢卡西维茨被誉为多值逻辑之父，因为正是他于二十世纪二十年代起首先把现代逻辑的方法应运于多值逻辑的研究，从而系统地发展了多值逻辑的理论。

A Kind of Tableau Reasoning Method with Quantifiers in Many-valued Regular Logic

一种多值规则量词公式的tableau的方法